Substitution model - PDFSEARCH.IO - Document Search Engine

Substitution model
Results: 273

#	Item
11	1 PDE models for population and residual work applied to peer-to-peer networks Fernando Paganini and Andr´es Ferragut Universidad ORT Uruguay Add to Reading List Source URL: fi.ort.edu.uy Language: English Logic Philosophy Abstraction Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Dynamical system Structure Model theory Decomposition of spectrum
12	Solving for the Retirement Age in a Continuous-time Model with Endogenous Labor Supply Emin Gahramanovy Xueli Tang Add to Reading List Source URL: www.econ.upd.edu.ph Language: English - Date: 2014-08-01 04:19:54 Optimal control Economy Mathematical optimization Systems theory Consumer behaviour Stochastic control Mathematical analysis Control theory Hamiltonian Elasticity of intertemporal substitution Intertemporal choice Intertemporal CAPM
13	Risks For the Long Run: Estimation and Inference∗ Ravi Bansal† Dana Kiku‡ Amir Yaron§ First Draft: June 2006 Add to Reading List Source URL: faculty.fuqua.duke.edu Language: English - Date: 2007-09-27 10:50:57 Economy Finance Money Mathematical finance Actuarial science Financial risk Behavioral finance Consumer theory Equity premium puzzle Beta Elasticity of intertemporal substitution Random walk model of consumption
14	Abstracting Abstract Machines David Van Horn ∗ Matthew Might Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-07-26 15:43:30 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Model theory Philosophy Symbol
15	MrBayesPrimer (with a focus on model selection) Jeremy M. Brown Dept. of Biological Sciences Louisiana State University www.phyleauxgenetics.org Add to Reading List Source URL: treethinkers.org Language: English - Date: 2014-03-09 14:13:45 Statistics Statistical theory Probability Bayesian statistics Bioinformatics Computational phylogenetics Command shells Probability distributions Markov chain Monte Carlo Substitution model IBM i Control Language Command-line interface
16	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning II” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:30:22 Logic Logical truth Mathematical logic Theoretical computer science Model theory Automated theorem proving Logic programming Philosophy of logic Satisfiability Substitution Boolean satisfiability problem
17	A(nother) characterization of Intuitionistic Propositional Logic Rosalie Iemho ILLC/Faculty of Science Universiteit van Amsterdam Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2010-08-24 07:12:03 Logic Mathematical logic Modal logic Non-classical logic Model theory Propositional calculus Admissible rule Intermediate logic Kripke semantics Substitution FO Modal companion
18	¨ PROSPECTS FOR A NAIVE THEORY OF CLASSES HARTRY FIELD, HARVEY LEDERMAN AND TORE FJETLAND ØGAARD 1. I NTRODUCTION1 Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2014-11-26 15:35:09 Mathematical logic Logic Mathematics Model theory Predicate logic Automated theorem proving Logic programming Substitution First-order logic Normal distribution Structure Axiom of extensionality
19	CAM Centre for Applied Microeconometrics Department of Economics University of Copenhagen http://www.econ.ku.dk/CAM/ Add to Reading List Source URL: www.econ.ku.dk Language: English - Date: 2014-01-29 04:39:43 Consumer theory Random walk model of consumption Elasticity of intertemporal substitution M-estimator Consumption Intertemporal consumption Income
20	A Modal Logic for Abstract Delta Modeling Frank de Boer Michiel Helvensteijn Joost Winter Add to Reading List Source URL: www.mhelvens.net Language: English - Date: 2012-09-02 13:47:59 Modal logic Non-classical logic Philosophical logic Model theory Mathematical logic Kripke semantics Substitution Integration by substitution Normal modal logic Linear temporal logic Dirac delta function

UPDATE